$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:Top, $x$:Id, $L_{1}$, $t$:Top.
\\[0ex]only members of $L_{1}$ affect $x$ :$t$ $\Vert\!+$ only $L$ sends on ($l$ with ${\it tg}$)